Disentangling phonological well-formedness and attestedness

Gradient Well-Formedness in Harmonic Grammar: Phonological Performance as a Window on Phonological Competence

In this paper, I argue that phonological performance data provide information about phonological competence. An adequate model of phonological competence must hence be able to account for significant patterns observed in phonological performance data. Based on two word-likeness experiments, I point out some typical properties of phonological performance data, and then show how these properties ...

Speech perception, well-formedness, and lexical frequency

Proving well-formedness of interface specifications

Automated software verification systems, that try to prove the correctness of a program, use specifications in the code as a base to verify said program. When this specification includes calls to sideeffect free methods, the verification system might want to use the specification of these side-effect free methods to have more information available for its correctness proofs. Unfortunately, the ...

The lexical bases of morphological well-formedness

1. Introduction Not all words, real or novel, are created equal — some sound better than others, either for phonological or for morphological reasons. That is, well-formedness is a gradient notion. One simple way to measure gradient well-formedness is through acceptability ratings. For example, native English speakers generally agree that there are several conceivable past tenses for the made-u...

Checking Well-Formedness of Pure-Method Specifications

Contract languages such as JML and Spec# specify invariants and preand postconditions using side-effect free expressions of the programming language, in particular, pure methods. For such contracts to be meaningful, they must be well-formed: First, they must respect the partiality of operations, for instance, the preconditions of pure methods used in the contract. Second, they must enable a con...